how do submarines work